grabHelper: Ensure we reset ignoreRelease when we drop our event handler

Since we drop our event handler, we won't see ever the release event
from the button press, so unset the flag so it doesn't muck with the
next time somebody takes a grab.

https://bugzilla.gnome.org/show_bug.cgi?id=696102

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 2547da67981647d464dfaec76dbd2b3e7844d5eb..0eed19bd477694a9b7111acb9b3678729f057a47 100644 (file)
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -308,6 +308,8 @@ const GrabHelper = new Lang.Class({
         if (!this.grabbed && this._capturedEventId > 0) {
             global.stage.disconnect(this._capturedEventId);
             this._capturedEventId = 0;
+
+            this._ignoreRelease = false;
         }
 
         if (hadFocus) {